Finite-state transducer - PDFSEARCH.IO - Document Search Engine

Finite-state transducer
Results: 120

#	Item
31	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
32	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-13 10:13:47 Theoretical computer science Mathematics Combinatorics on words Models of computation Finite state transducer Finite-state machine Regular expression Regular language String Formal languages Automata theory Combinatorics
33	Direct Construction of Compact Context-Dependency Transducers From Data David Rybach∗ Michael Riley Human Language Technology Add to Reading List Source URL: wiki.inf.ed.ac.uk Language: English - Date: 2010-11-05 06:38:47 Finite state transducer Finite-state machine Speech recognition Computer science Mathematical optimization Applied mathematics Computing Automata theory Models of computation Computational linguistics
34	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
35	Symbolic Finite State Transducers: Algorithms and Applications Margus Veanes Pieter Hooimeijer ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 16:49:04 Symbol Regular language Automata theory Formal languages Finite state transducer
36	MODIFIED MPE/MMI IN A TRANSDUCER-BASED FRAMEWORK G. Heigold, R. Schl¨uter, and H. Ney Chair of Computer Science 6 - Computer Science Department RWTH Aachen University, Aachen {heigold,schlueter,ney}@cs.rwth-aachen.de AB Add to Reading List Source URL: wiki.inf.ed.ac.uk Language: English - Date: 2009-06-30 07:12:36 Computer accessibility Speech recognition Support vector machine Finite state transducer Margin classifier Hinge loss Mathematical optimization Loss function Statistics Statistical classification Automatic identification and data capture
37	Cost-Optimal Factored Planning: Promises and Pitfalls Eric Fabre Lo¨ıg Jezequel Patrik Haslum and Sylvie Thi´ebaux Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-06-05 04:12:42 Applied mathematics Finite state transducer Polynomial Factorization IP Tree automaton SL Theoretical computer science Automata theory Mathematics
38	Invariants for equivalence of finite automata Mike Spivey Let S = (S, Σ, δS , s0 , FS ) and T = (T , Σ, δT , t0 , FT ) be two deterministic finite automata with the same alphabet Σ. We say S and T are equivalent if, Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2010-02-09 12:35:41 Equivalence relation Structure Deterministic finite automaton If and only if Complementation of Büchi automaton Finite state transducer Automata theory Mathematics Models of computation
39	Computational Characterizations of Vowel Harmony Patterns and Pathologies Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:20 Vowels Finite state transducer Phonetics Vowel harmony Finite-state machine Yoruba language Mongolian language Vowel Advanced and retracted tongue root Linguistics Automata theory Models of computation
40	Evidence for Classifying Metathesis Patterns as Subsequential Jane Chandlee, Angeliki Athanasopoulou, and Jeffrey Heinz University of Delaware 1. Introduction* Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:30 Finite state transducer Slavic liquid metathesis and pleophony Salt metathesis reaction Fur language Historical linguistics Language Phonology Linguistics Metathesis